En ciencias de la computación un tipo de dato abstracto (TDA) o tipo abstracto de datos (TAD) es un modelo matemático compuesto por una serie de operaciones definidas sobre un conjunto de datos. Se toma la perspectiva del usuario, no del implementador, es decir, se define el comportamiento del TAD, qué operaciones se pueden efectuar sobre él y lo que hacen esas operaciones. Durante la implementación se definirá cómo se realizan esas operaciones y dará lugar a las estructuras de datos propiamente dichas.